Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
511	Table 1. Offences Incurring Penalty Points and Fixed Charge Notices with effect from 3 August 2012 Penalty points on Add to Reading List Source URL: www.rsa.ie Language: English - Date: 2012-08-15 04:43:58 Drunk driving Drink driving MOT test Seat belt Point system Traffic ticket Transport Land transport Traffic law
512	Version 8.0 VisSim/Embedded Controls Add to Reading List Source URL: www.vissim.com Language: English - Date: 2011-03-21 17:44:54 Science Mathematical modeling Numerical software Visual programming languages Real-time simulation VisSim TI MSP430 Fixed-point arithmetic Control system Technology Computing Embedded systems
513	Galois Connections and Fixed Point Calculus Roland Backhouse∗ October 15, 2001 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-17 06:08:50 Group theory Order theory Field theory Abstract interpretation Galois connection Galois theory Function Differential equation Évariste Galois Mathematics Abstract algebra Algebra
514	To appear in “Church’s Thesis after 70 Years” ed. A. Olszewski, Logos Verlag, Berlin, [removed]Church’s Thesis Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-08-11 14:08:31 Computer science Computability theory Theory of computation Logic in computer science Combinatory logic Fixed-point combinator Curry–Howard correspondence Computability Church encoding Theoretical computer science Mathematics Lambda calculus
515	Productive Coprogramming with Guarded Recursion Robert Atkey Add to Reading List Source URL: bentnib.org Language: English - Date: 2013-07-17 15:22:25 Lambda calculus Predicate logic Symbol Fixed-point combinator Model theory Quantification Function Combinatory logic Type system Mathematical logic Mathematics Logic
516	The Evolution of Language 2x Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2009-05-24 10:54:04 Software engineering Metaphysicians Rationalists René Descartes 2X Lambda Combinatory logic Fixed-point combinator Lambda calculus Theoretical computer science Philosophy
517	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
518	Fast and Robust Fixed-Point Algorithms for Independent Component Analysis Aapo Hyvärinen Add to Reading List Source URL: www.cs.helsinki.fi Language: English - Date: 2004-12-29 07:03:25 Signal processing Estimation theory Statistical inference Independent component analysis Normal distribution Principal component analysis Maximum likelihood Gaussian function Matrix Statistics Multivariate statistics Data analysis
519	PDF Document Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-02-12 16:30:43 Applied mathematics Type theory Logic in computer science Theory of computation Proof theory Combinatory logic Curry–Howard correspondence Fixed-point combinator Type safety Theoretical computer science Lambda calculus Computer science
520	PDF Document Add to Reading List Source URL: wwwth.mpp.mpg.de Language: English - Date: 2012-07-26 07:26:56 Quantum gravity Mathematical physics Renormalization group Loop quantum gravity Group field theory Causal dynamical triangulation UV fixed point Abhay Ashtekar Background independence Physics Theoretical physics Quantum field theory

UPDATE